Zohar Manna: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (17)
Most Popular
List
- List
- Table

1

Mathematical Theory of Computation

Mathematical Theory of Computation

Dover Publications

Year:

2003

Language:

english

File:

PDF, 15.09 MB

0 / 0

english, 2003

2

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Zohar Manna, Amir Pnueli

Year:

1995

Language:

english

File:

PDF, 23.93 MB

0 / 0

english, 1995

3

Mathematical Theory of Computation

Mathematical Theory of Computation

Mcgraw-Hill College

Year:

1974

Language:

english

File:

DJVU, 3.21 MB

0 / 0

english, 1974

4

Lectures on the logic of computer programming

Lectures on the logic of computer programming

Society for Industrial and Applied Mathematics

Year:

1987

Language:

english

File:

DJVU, 312 KB

0 / 0

english, 1987

5

Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Society for Industrial Mathematics

Year:

1987

Language:

english

File:

PDF, 1.66 MB

0 / 0

english, 1987

6

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna, Amir Pnueli

Year:

1991

Language:

english

File:

DJVU, 2.80 MB

0 / 0

english, 1991

7

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Year:

2010

Language:

english

File:

PDF, 3.93 MB

0 / 0

english, 2010

8

Lectures on the logic of computer programming

Lectures on the logic of computer programming

Society for Industrial and Applied Mathematics

Year:

1987

Language:

english

File:

DJVU, 269 KB

0 / 0

english, 1987

9

Lectures on the logic of computer programming

Lectures on the logic of computer programming

Society for Industrial and Applied Mathematics

Year:

1987

Language:

english

File:

DJVU, 258 KB

0 / 0

english, 1987

10

Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Society for Industrial Mathematics

Year:

1980

Language:

english

File:

DJVU, 331 KB

0 / 0

english, 1980

11

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Year:

2010

Language:

english

File:

PDF, 5.00 MB

0 / 0

english, 2010

12

Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Society for Industrial Mathematics

Year:

1987

Language:

english

File:

DJVU, 312 KB

0 / 0

english, 1987

13

计算的数学理论下

计算的数学理论下

长沙铁道学院科技情报室

ZOHAR MANNA著；王冬生译

Year:

1979

Language:

chinese

File:

PDF, 14.44 MB

0 / 0

chinese, 1979

14

The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

Aaron R. Bradley, Zohar Manna

Year:

2007

Language:

english

File:

PDF, 2.62 MB

5.0 / 5.0

english, 2007

15

The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Springer-Verlag New York

Zohar Manna, Amir Pnueli (auth.)

Year:

1992

Language:

english

File:

PDF, 8.62 MB

0 / 0

english, 1992

16

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Year:

2010

Language:

english

File:

PDF, 4.01 MB

0 / 0

english, 2010

17

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Abadi, Zohar Manna (auth.), Rohit Parikh (eds.)

Year:

1985

Language:

english

File:

DJVU, 4.53 MB

0 / 0

english, 1985